Nova Scotia
https://github.com/nalinbhardwaj/Nova-Scotia
https://crates.io/crates/nova-scotia
Circom
をアップグレードしてNova foldingスキームを使用
Circom + Nova prover
Middleware to compile Circom circuits to Nova prover
Nova
https://github.com/microsoft/Nova
High-speed recursive arguments from folding schemes